Z and Abstract Machine Notation: A Comparison
نویسندگان
چکیده
In this paper we compare the formal specification languages Z and Abstract Machine Notation (AMN); the latter of which is due to Abrial. The strategy adopted is that of presenting the same specification both in Z and AMN and of commenting on salient differences as they arise. The specification chosen is a slightly revised version of the specification of an Internal Telephone Number Database found in chapter 4 of [4]. At the end of the paper some general conclusions are drawn. Antoni Diller and Rosemary Docherty, “Z and Abstract Machine Notation: A Comparison” in Jonathan P. Bowen and J. Anthony Hall (eds.), Z User Workshop: Cambridge 1994, [London, Springer-Verlag, 1994], pp. 250-263. Z and Abstract Machine Notation: A Comparison Antoni Diller and Rosemary Docherty∗
منابع مشابه
Visualized and Abstract Formal Modeling Towards The Multi-Agent Systems
Multi-agent systems technology has generated lots of incitements, because of it used for distributed, intelligent and safety critical system. The failure of some system may cause the loss of human life, severe injuries, loss of money and environmental damages. To get the robust, safe and reliable multi-agent system it requires formal modeling and step by step refinement for its construction and...
متن کاملModel Checking Object-Z Using ASM
A major problem with creating tools for Object-Z is that its high-level abstractions are difficult to deal with directly. Integrating Object-Z with a more concrete notation is a sound strategy. With this in mind, in this paper we introduce an approach to model-checking Object-Z specifications based on first integrating Object-Z with the Abstract State Machine (ASM) notation to get the notation ...
متن کاملLanguages for Systems not Software
Historically programming languages have largely been concerned with the coding of designs. The facilities of the language are wholly concerned with the software realm; expressing the behaviour of the system of which software forms a part is the role of some other notation such as UML, Z or HOOD. This is inevitable given the genesis of most programming languages which all grew of out of machine ...
متن کاملExperiences in Using the Abstract Machine Notation in a GKS Case Study
This paper discusses the authors' experiences in re-engineering and subsequently refining part of a Z-style specification of the Graphics Kernel System using the Abstract Machine Notation as supported in the B Toolkit. 1 I n t r o d u c t i o n "B User Trials" is a collaborative project between Lloyd's Register, Rutherford Appleton Laboratory, Program Validation Limited and the Royal Military C...
متن کاملComparison of the learning of two notations: A pilot study
Introduction: MICAP is a new notation in which the teeth areindicated by letters (I-incisor, C-canine, P-premolar, M-molar)and numbers [1,2,3] which are written superscript and subscripton the relevant letters. FDI tooth notation is a two digit systemwhere one digit shows quadrant and the second one shows thetooth of the quadrant. This study aimed to compare the short termretention of knowledge...
متن کامل